Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
311	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
312	Libraries < PAGE >1Chapter XX: Libraries Every modern linker handles libraries, collections of object files that are included as needed in a linked program. In this chapter we cover traditional statically linked librari Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-14 23:31:35 Compiler construction Programming language implementation Archive formats C programming language Library COFF C++ Object file Linker Computing Software System software
313	Microsoft Word - Independent Contractor Policy.docx Add to Reading List Source URL: www.simsbros.com Language: English - Date: 2014-11-06 10:03:34 The Sims Windows games Contract law General contractor Real estate Independent contractor Electrician Subcontractor Contractor screening Construction Digital media Application software
314	What I Can Do With a Major In Engineering Job Categories & Job Titles Acoustical Add to Reading List Source URL: cacareerbriefs.com Language: English - Date: 2015-01-28 15:28:51 Post-nominal letters Mechanical engineering Engineer Design engineer Civil engineer Military engineering Structural engineer Software engineer Construction engineering Engineering Science Engineers
315	WSU CADD STANDARD The Weber State University (WSU) Supplement to Department of Facilities and Construction Management (DFCM) CADD CRITERIA and the United States National CAD Standard Add to Reading List Source URL: departments.weber.edu Language: English - Date: 2013-02-04 10:25:39 Software Computing Product lifecycle management Computer-aided design Building information modeling AutoCAD Revit CAD standards .dwg Autodesk 3D graphics software Graphics software
316	Architectural Technician Due to the award of a number of significant projects, we are seeking talented Architectural Technicians to join our professional and dynamic teams to work directly with Project Director and Proje Add to Reading List Source URL: www.scottbrownrigg.com Language: English - Date: 2015-03-18 10:26:22 Autodesk Building information modeling Revit Construction Architect Software Chartered Institute of Architectural Technologists Architecture Visual arts 3D graphics software
317	Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++) Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Concurrency control Computer memory Compiler construction Programming language design OpenMP Lock Memory model Linearizability Thread Computing Software engineering Parallel computing
318	Dynamic Linking and Loading < PAGE >1Chapter XX: Dynamic Linking and Loading $Revision: 2.3 $ $Date: :30:36 $ Dynamic linking defers much of the linking process until a program starts running. It provides Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-14 23:31:35 Computer file formats Compiler construction Programming language implementation Relocation Library Dynamic-link library Position-independent code Linker Dynamic linker Software Computing System software
319	From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-05-31 00:44:33 Models of computation Programming language implementation Data types Compiler construction Abstract data types Compiler optimization Stream processing Sawzall Increment and decrement operators Software engineering Computing Computer programming
320	Adaptive Just-in-time Value Class Optimization Transparent Data Structure Inlining for Fast Execution Tobias Pape Carl Friedrich Bolz Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-09 17:44:10 Compiler construction Compiler optimizations Software optimization Just-in-time compilation Inline expansion Static single assignment form PyPy Common Intermediate Language Objective-C Computing Software engineering Computer programming

UPDATE